Columbus State University

Results: 709



#Item
51

The Disjunction and Related Properties for Constructive Zermelo-Fraenkel Set Theory Michael Rathjen∗ Department of Mathematics, Ohio State University Columbus, OH 43210, U.S.A.

Add to Reading List

Source URL: www1.maths.leeds.ac.uk

Language: English - Date: 2012-10-11 14:59:30
    52

    PROOF THEORY OF REFLECTION Michael Rathjen∗ Department of Mathematics, Ohio State University Columbus, OHFebruary 21, 1993

    Add to Reading List

    Source URL: www1.maths.leeds.ac.uk

    Language: English - Date: 2012-10-11 11:29:00
      53

      Collapsing functions based on recursively large ordinals: A well–ordering proof for KPM Michael Rathjen∗ Department of Mathematics, Ohio State University, Columbus, Ohio 43210, USA

      Add to Reading List

      Source URL: www1.maths.leeds.ac.uk

      Language: English - Date: 2012-10-11 11:18:42
        54

        A note on Bar Induction in Constructive Set Theory∗ Michael Rathjen Department of Mathematics The Ohio State University Columbus, OH 43210, USA and

        Add to Reading List

        Source URL: www1.maths.leeds.ac.uk

        Language: English - Date: 2011-07-09 07:15:02
          55

          Proof–theoretic investigations on Kruskal’s theorem Michael Rathjen Department of Mathematics, Ohio State University Columbus, Ohio 43210, USA Andreas Weiermann

          Add to Reading List

          Source URL: www1.maths.leeds.ac.uk

          Language: English - Date: 2014-04-24 05:12:42
            56

            Intersection properties of subsets of integers Tibor Szab´o The Ohio State University, Columbus, Ohio, 231 W 18th Ave, Columbus, Ohio, 43210, USA and E¨ otv¨

            Add to Reading List

            Source URL: page.mi.fu-berlin.de

            Language: English - Date: 2008-09-03 14:35:51
              57

              In-band Wireless Cut-through: Is It Possible? Bo Chen, Gopi Krishna Tummala, Yue Qiao and Kannan Srinivasan Department of Computer Science and Engineering The Ohio State University, Columbus, OH 43210 {chebo, tummalag, q

              Add to Reading List

              Source URL: web.cse.ohio-state.edu

              Language: English - Date: 2014-08-21 11:04:11
                58

                The Schematic Protection Model: Its Definition and Analysis for Acyclic Attenuating Schemes RAVINDERPAL SINGH SANDHU Department of Computer and Information Science, The Ohio State University, Columbus, Ohio Abstract. The

                Add to Reading List

                Source URL: www.profsandhu.com

                Language: English - Date: 2008-02-07 14:26:24
                  59

                  DOMINO: Relative Scheduling in Enterprise Wireless LANs Wenjie Zhou† , Dong Li† , Kannan Srinivasan and Prasun Sinha Department of Computer Science and Engineering The Ohio State University Columbus, OH 43210

                  Add to Reading List

                  Source URL: web.cse.ohio-state.edu

                  Language: English - Date: 2013-11-06 13:27:52
                    60

                    2014 NACCDO/PAN ANNUAL CONFERENCE April 23–26, Columbus, Ohio Hosted by: The Ohio State University Comprehensive Cancer Center – Arthur G. James Cancer Hospital and Richard J. Solove Research Institute Nation

                    Add to Reading List

                    Source URL: www.naccdo.org

                    Language: English - Date: 2014-03-05 08:02:34
                      UPDATE